switch: fetch the padding values from the slider
authorCosimo Cecchi <cosimoc@gnome.org>
Tue, 1 Mar 2011 13:59:02 +0000 (08:59 -0500)
committerCosimo Cecchi <cosimoc@gnome.org>
Thu, 3 Mar 2011 22:48:25 +0000 (17:48 -0500)
commit6abbd68674dc9b1ff53ce2e9d1c6ee0b3310c794
tree5ddabaf823385d12450497f2d70e27f197d5d6c4
parentc310c35a7a87307c1534a932f43f9255d26faa9b
switch: fetch the padding values from the slider

It's the slider which acts as a child inside the container through, so
we should fetch the slider padding when computing height/width.
gtk/gtkswitch.c